Software language - PDFSEARCH.IO - Document Search Engine

Software language
Results: 21611

#	Item
471	Transition Plan Comments Page Number 5, Sect, Sect. 2.2 Add to Reading List Source URL: nevadadot.com Language: English - Date: 2016-04-13 17:50:19 Software engineering Computing Programming language theory Nevada Department of Transportation Accessibility ADAPT Ada Department of transportation
472	Microsoft Word - Whats_New_QT_Modeler_8060_v1.docx Add to Reading List Source URL: appliedimagery.com Language: English - Date: 2016-08-02 13:51:58 Software Computing GIS software Keyhole Markup Language Cross-platform software Google Earth Remote sensing Qt TEA Geographic information system Directory structure Texture mapping
473	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
474	Enhancing Named Entity Recognition in Twitter Messages Using Entity Linking Ikuya Yamada1 2 3 Hideaki Takeda2 Add to Reading List Source URL: noisy-text.github.io Language: English - Date: 2016-08-14 21:11:09 Software Computational linguistics Natural language processing Computing Linguistics Named-entity recognition Entity linking Entityrelationship model Image segmentation Twitter Freebase Word-sense disambiguation
475	Pattern Matching in MOLA Agris Sostaks IMCS University of Latvia, Latvia Abstract. This paper addresses the pattern matching problem for model Add to Reading List Source URL: melnais.mii.lu.lv Language: English - Date: 2010-02-27 12:45:09 Software engineering Computer programming Graph rewriting VIATRA Pattern matching Transformation language Metamodeling GrGen Iterator Rete algorithm Foreach loop Mola
476	Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal • Make Haskell “faster” Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Haskell Literate programming Fold Map Inline expansion Write
477	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-3 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:13 Computing Software engineering Scientific modeling Unified Modeling Language Systems engineering Architecture description language Software architecture Manfred Broy Modeling language Model-driven engineering Bernhard Rumpe Business process modeling
478	Towards an Open Building Information Model Server Report on the progress of an open IFC framework Jakob Beetz, Ruben de Laat1, Léon van Berlo1 and Pim van den Helm1 Eindhoven University of Technology 2 TNO Built Environ Add to Reading List Source URL: bimserver.org Language: English - Date: 2013-08-09 07:23:04 Software Computing Building information modeling Unified Modeling Language ISO standards Java platform Integrated development environments Industry Foundation Classes XML Metadata Interchange Eclipse Metamodeling Data model
479	The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Software engineering Computer programming Computing Subroutines Functional languages Programming language implementation Procedural programming languages Recursion Standard ML Compiler Inline expansion ML
480	The CYK algorithm L645 / B659 Fall 2015 Where we’re going Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-10-27 13:08:39 Compiler construction Programming language implementation Syntax Software engineering Formal languages CYK algorithm Natural language parsing Parsing Phrase structure rules Top-down parsing Chart parser Context-free grammar

UPDATE